[next] [prev] [prev-tail] [tail] [up]

2.2.4 Integrals 301 to 400

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 34 34 122 41 0 0 46

N.S.

1 1.00 1.00 1.00 3.59 1.21 0.00 0.00 1.35

time (sec)

N/A 0.044 0.064 0.337 0.560 0.353 0.000 0.000 5.662

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 46 44 189 63 0 0 77

N.S.

1 1.00 0.61 0.58 2.49 0.83 0.00 0.00 1.01

time (sec)

N/A 0.098 0.109 0.142 0.541 0.328 0.000 0.000 6.007

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 56 54 258 77 0 0 120

N.S.

1 1.00 0.49 0.47 2.24 0.67 0.00 0.00 1.04

time (sec)

N/A 0.144 0.107 0.154 0.566 0.325 0.000 0.000 6.680

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 66 70 325 89 0 0 261

N.S.

1 1.00 0.43 0.45 2.11 0.58 0.00 0.00 1.69

time (sec)

N/A 0.203 0.171 0.158 0.590 0.334 0.000 0.000 11.008

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

247 247 80 266 0 3361 0 0 -1

N.S.

1 1.00 0.32 1.08 0.00 13.61 0.00 0.00 -0.00

time (sec)

N/A 0.253 0.138 0.226 0.000 190.259 0.000 0.000 0.000

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

215 215 80 232 0 3431 0 0 -1

N.S.

1 1.00 0.37 1.08 0.00 15.96 0.00 0.00 -0.00

time (sec)

N/A 0.188 0.155 0.155 0.000 191.097 0.000 0.000 0.000

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

236 236 80 321 0 3519 0 0 -1

N.S.

1 1.00 0.34 1.36 0.00 14.91 0.00 0.00 -0.00

time (sec)

N/A 0.242 0.126 0.155 0.000 188.741 0.000 0.000 0.000

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 49 34 126 104 0 0 82

N.S.

1 1.00 1.36 0.94 3.50 2.89 0.00 0.00 2.28

time (sec)

N/A 0.046 0.072 0.145 0.539 0.341 0.000 0.000 5.992

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 59 44 197 72 0 0 95

N.S.

1 1.00 0.78 0.58 2.59 0.95 0.00 0.00 1.25

time (sec)

N/A 0.091 0.114 0.142 0.563 0.346 0.000 0.000 6.379

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 56 54 264 94 0 0 119

N.S.

1 1.00 0.49 0.47 2.30 0.82 0.00 0.00 1.03

time (sec)

N/A 0.149 0.105 0.145 0.550 0.351 0.000 0.000 6.823

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 66 70 335 110 0 0 230

N.S.

1 1.00 0.43 0.45 2.18 0.71 0.00 0.00 1.49

time (sec)

N/A 0.200 0.176 0.155 0.549 0.356 0.000 0.000 11.102

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

193 193 76 80 404 120 0 0 413

N.S.

1 1.00 0.39 0.41 2.09 0.62 0.00 0.00 2.14

time (sec)

N/A 0.248 0.283 0.188 0.547 0.353 0.000 0.000 11.651

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

261 261 80 282 0 3456 0 0 -1

N.S.

1 1.00 0.31 1.08 0.00 13.24 0.00 0.00 -0.00

time (sec)

N/A 0.303 0.203 0.244 0.000 194.478 0.000 0.000 0.000

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F B F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

239 239 80 443 0 3536 0 0 -1

N.S.

1 1.00 0.33 1.85 0.00 14.79 0.00 0.00 -0.00

time (sec)

N/A 0.247 0.122 0.144 0.000 195.179 0.000 0.000 0.000

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F B F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 80 545 0 3631 0 0 -1

N.S.

1 1.00 0.37 2.50 0.00 16.66 0.00 0.00 -0.00

time (sec)

N/A 0.197 0.136 0.152 0.000 187.758 0.000 0.000 0.000

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 49 34 126 70 0 0 102

N.S.

1 1.00 1.36 0.94 3.50 1.94 0.00 0.00 2.83

time (sec)

N/A 0.049 0.111 0.156 0.550 0.358 0.000 0.000 6.567

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 59 44 197 158 0 0 145

N.S.

1 1.00 0.78 0.58 2.59 2.08 0.00 0.00 1.91

time (sec)

N/A 0.092 0.102 0.183 0.542 0.353 0.000 0.000 7.047

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 69 54 266 100 0 0 137

N.S.

1 1.00 0.60 0.47 2.31 0.87 0.00 0.00 1.19

time (sec)

N/A 0.137 0.151 0.166 0.548 0.362 0.000 0.000 7.662

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 66 70 335 124 0 0 261

N.S.

1 1.00 0.43 0.45 2.18 0.81 0.00 0.00 1.69

time (sec)

N/A 0.200 0.145 0.153 0.557 0.361 0.000 0.000 11.167

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

193 193 76 80 404 138 0 0 379

N.S.

1 1.00 0.39 0.41 2.09 0.72 0.00 0.00 1.96

time (sec)

N/A 0.258 0.275 0.155 0.554 0.361 0.000 0.000 11.537

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 77 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.070 0.158 0.099 0.000 0.000 0.000 0.000 0.000

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 77 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.072 0.120 0.093 0.000 0.000 0.000 0.000 0.000

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 77 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.070 0.086 0.089 0.000 0.000 0.000 0.000 0.000

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 77 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.062 0.086 0.073 0.000 0.000 0.000 0.000 0.000

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 77 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.061 0.088 0.078 0.000 0.000 0.000 0.000 0.000

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 75 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.071 0.098 0.077 0.000 0.000 0.000 0.000 0.000

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 94 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.058 0.202 0.459 0.000 0.000 0.000 0.000 0.000

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 94 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.055 0.107 0.557 0.000 0.000 0.000 0.000 0.000

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 94 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.055 0.108 0.536 0.000 0.000 0.000 0.000 0.000

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 266 0 0 0 0 0 -1

N.S.

1 1.00 2.86 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.041 1.538 0.230 0.000 0.000 0.000 0.000 0.000

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 94 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.070 0.164 0.243 0.000 0.000 0.000 0.000 0.000

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 94 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.065 0.175 0.604 0.000 0.000 0.000 0.000 0.000

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 94 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.065 0.170 0.737 0.000 0.000 0.000 0.000 0.000

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 94 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.064 0.195 2.879 0.000 0.000 0.000 0.000 0.000

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 102 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.079 0.253 0.127 0.000 0.000 0.000 0.000 0.000

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 102 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.077 0.199 0.128 0.000 0.000 0.000 0.000 0.000

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 101 0 0 0 0 0 -1

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.080 0.203 0.131 0.000 0.000 0.000 0.000 0.000

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 310 0 0 0 0 0 -1

N.S.

1 1.00 3.20 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.070 3.943 0.147 0.000 0.000 0.000 0.000 0.000

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 97 0 0 0 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.073 0.109 0.105 0.000 0.000 0.000 0.000 0.000

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 101 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.081 0.173 0.112 0.000 0.000 0.000 0.000 0.000

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 102 0 0 0 0 0 -1

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.085 0.133 0.113 0.000 0.000 0.000 0.000 0.000

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 112 0 0 0 0 0 -1

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.081 0.190 0.128 0.000 0.000 0.000 0.000 0.000

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 796 0 520 153 0 517 555

N.S.

1 1.00 7.30 0.00 4.77 1.40 0.00 4.74 5.09

time (sec)

N/A 0.061 6.144 0.299 0.310 0.390 0.000 5.115 10.480

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 100 0 266 102 5534 294 195

N.S.

1 1.00 1.23 0.00 3.28 1.26 68.32 3.63 2.41

time (sec)

N/A 0.047 1.481 0.296 0.282 0.375 42.006 4.378 1.971

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 65 0 111 61 1114 137 85

N.S.

1 1.00 1.18 0.00 2.02 1.11 20.25 2.49 1.55

time (sec)

N/A 0.040 0.205 0.129 0.281 0.388 3.809 5.651 0.726

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 26 27 26 28 80 26 29

N.S.

1 1.00 1.00 1.04 1.00 1.08 3.08 1.00 1.12

time (sec)

N/A 0.021 0.045 3.103 0.276 0.357 0.458 5.616 0.215

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 63 0 0 0 0 0 -1

N.S.

1 1.00 1.58 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.034 0.099 0.165 0.000 0.000 0.000 0.000 0.000

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

47 47 10814 0 0 0 0 0 -1

N.S.

1 1.00 230.09 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.039 37.798 0.121 0.000 0.000 0.000 0.000 0.000

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

51 51 26029 0 0 0 0 0 -1

N.S.

1 1.00 510.37 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.040 47.338 0.136 0.000 0.000 0.000 0.000 0.000

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 78 0 0 0 0 0 -1

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.053 0.122 0.261 0.000 0.000 0.000 0.000 0.000

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 78 0 0 0 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.052 0.104 0.192 0.000 0.000 0.000 0.000 0.000

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

73 73 3917 0 0 0 0 0 -1

N.S.

1 1.00 53.66 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.058 6.372 0.098 0.000 0.000 0.000 0.000 0.000

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

83 83 9400 0 0 0 0 0 -1

N.S.

1 1.00 113.25 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.058 6.655 0.116 0.000 0.000 0.000 0.000 0.000

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 85 0 0 0 0 0 -1

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.064 0.198 0.161 0.000 0.000 0.000 0.000 0.000

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 85 0 0 0 0 0 -1

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.063 0.140 0.141 0.000 0.000 0.000 0.000 0.000

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 85 0 0 0 0 0 -1

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.061 0.093 0.156 0.000 0.000 0.000 0.000 0.000

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 83 0 0 0 0 0 -1

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.061 0.086 0.125 0.000 0.000 0.000 0.000 0.000

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 82 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.064 0.112 0.128 0.000 0.000 0.000 0.000 0.000

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 85 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.066 0.125 0.131 0.000 0.000 0.000 0.000 0.000

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

201 201 101 0 0 105 0 0 137

N.S.

1 1.00 0.50 0.00 0.00 0.52 0.00 0.00 0.68

time (sec)

N/A 0.220 0.203 0.223 0.000 0.364 0.000 0.000 6.828

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 76 0 0 76 0 0 103

N.S.

1 1.00 0.54 0.00 0.00 0.54 0.00 0.00 0.73

time (sec)

N/A 0.147 0.138 0.217 0.000 0.390 0.000 0.000 6.126

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 53 0 0 62 0 0 71

N.S.

1 1.00 0.60 0.00 0.00 0.70 0.00 0.00 0.80

time (sec)

N/A 0.086 0.118 0.188 0.000 0.347 0.000 0.000 5.605

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 34 0 62 40 0 0 34

N.S.

1 1.00 1.00 0.00 1.82 1.18 0.00 0.00 1.00

time (sec)

N/A 0.034 0.058 0.204 0.493 0.369 0.000 0.000 0.288

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 108 0 0 0 0 0 -1

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.078 0.134 0.129 0.000 0.000 0.000 0.000 0.000

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 97 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.073 0.267 0.201 0.000 0.000 0.000 0.000 0.000

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 113 0 0 0 0 0 -1

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.081 0.252 0.201 0.000 0.000 0.000 0.000 0.000

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 105 0 689 315 0 0 601

N.S.

1 1.00 0.70 0.00 4.59 2.10 0.00 0.00 4.01

time (sec)

N/A 0.166 0.404 0.206 0.550 0.415 0.000 0.000 13.477

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 72 0 378 171 0 0 241

N.S.

1 1.00 0.77 0.00 4.02 1.82 0.00 0.00 2.56

time (sec)

N/A 0.096 0.220 0.213 0.512 0.361 0.000 0.000 8.768

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 43 0 155 81 0 0 58

N.S.

1 1.00 0.98 0.00 3.52 1.84 0.00 0.00 1.32

time (sec)

N/A 0.037 0.165 0.186 0.532 0.352 0.000 0.000 5.582

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 61 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.047 0.071 0.171 0.000 0.000 0.000 0.000 0.000

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 76 0 0 0 0 0 -1

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.054 0.146 0.177 0.000 0.000 0.000 0.000 0.000

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 96 0 0 0 0 0 -1

N.S.

1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.068 0.222 0.177 0.000 0.000 0.000 0.000 0.000

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 96 0 0 0 0 0 -1

N.S.

1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.066 0.185 0.190 0.000 0.000 0.000 0.000 0.000

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 90 0 0 0 0 0 -1

N.S.

1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.060 0.092 0.157 0.000 0.000 0.000 0.000 0.000

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 87 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.068 0.219 0.165 0.000 0.000 0.000 0.000 0.000

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 63 46 70 51 83 88 68

N.S.

1 1.00 1.05 0.77 1.17 0.85 1.38 1.47 1.13

time (sec)

N/A 0.030 0.024 0.279 0.295 0.341 0.401 5.951 0.065

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 44 36 48 39 60 48 46

N.S.

1 1.00 1.00 0.82 1.09 0.89 1.36 1.09 1.05

time (sec)

N/A 0.022 0.017 0.191 0.280 0.383 0.171 6.138 0.057

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 28 39 25 20 25 34 25 23

N.S.

1 1.27 1.77 1.14 0.91 1.14 1.55 1.14 1.05

time (sec)

N/A 0.011 0.017 0.100 0.290 0.339 0.070 6.456 0.042

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 26 32 35 37 0 37 54

N.S.

1 1.00 0.60 0.74 0.81 0.86 0.00 0.86 1.26

time (sec)

N/A 0.028 0.019 0.146 0.286 0.354 0.000 4.036 0.072

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 52 50 53 67 0 55 44

N.S.

1 1.00 1.27 1.22 1.29 1.63 0.00 1.34 1.07

time (sec)

N/A 0.027 0.029 0.220 0.364 0.363 0.000 3.614 0.075

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 68 63 78 82 0 70 64

N.S.

1 1.00 1.11 1.03 1.28 1.34 0.00 1.15 1.05

time (sec)

N/A 0.032 0.173 0.273 0.299 0.352 0.000 6.631 5.145

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 62 52 48 51 124 77 111

N.S.

1 1.00 0.95 0.80 0.74 0.78 1.91 1.18 1.71

time (sec)

N/A 0.033 0.118 0.219 0.289 0.343 0.259 6.651 8.694

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 46 41 37 37 71 47 68

N.S.

1 1.00 1.07 0.95 0.86 0.86 1.65 1.09 1.58

time (sec)

N/A 0.025 0.066 0.145 0.306 0.352 0.110 4.724 7.381

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 23 24 23 22 0 33 22

N.S.

1 1.00 1.00 1.04 1.00 0.96 0.00 1.43 0.96

time (sec)

N/A 0.023 0.017 0.148 0.318 0.327 0.000 4.049 5.132

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 41 38 35 35 0 76 42

N.S.

1 1.00 0.93 0.86 0.80 0.80 0.00 1.73 0.95

time (sec)

N/A 0.026 0.094 0.200 0.286 0.352 0.000 4.570 5.265

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 53 48 48 50 0 120 75

N.S.

1 1.00 0.88 0.80 0.80 0.83 0.00 2.00 1.25

time (sec)

N/A 0.030 0.186 0.260 0.306 0.341 0.000 6.154 5.299

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 104 98 106 87 158 136 104

N.S.

1 1.00 1.05 0.99 1.07 0.88 1.60 1.37 1.05

time (sec)

N/A 0.063 0.205 0.455 0.286 0.380 0.604 6.358 0.074

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 56 78 73 69 107 80 74

N.S.

1 1.00 0.73 1.01 0.95 0.90 1.39 1.04 0.96

time (sec)

N/A 0.049 0.132 0.348 0.279 0.348 0.266 4.482 0.050

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 46 21 20 48 53 20 39

N.S.

1 1.00 2.09 0.95 0.91 2.18 2.41 0.91 1.77

time (sec)

N/A 0.017 0.025 0.204 0.296 0.351 0.112 4.314 0.058

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 54 62 60 62 0 62 50

N.S.

1 1.00 0.89 1.02 0.98 1.02 0.00 1.02 0.82

time (sec)

N/A 0.056 0.065 0.282 0.281 0.407 0.000 4.143 5.156

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 113 99 78 90 0 86 62

N.S.

1 1.00 1.92 1.68 1.32 1.53 0.00 1.46 1.05

time (sec)

N/A 0.042 1.007 0.342 0.306 0.365 0.000 4.406 0.107

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 166 131 115 118 0 118 93

N.S.

1 1.00 1.68 1.32 1.16 1.19 0.00 1.19 0.94

time (sec)

N/A 0.061 0.785 0.422 0.288 0.361 0.000 7.979 5.098

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 141 128 114 108 398 162 178

N.S.

1 1.00 0.97 0.88 0.78 0.74 2.73 1.11 1.22

time (sec)

N/A 0.089 0.370 0.591 0.292 0.373 0.934 7.267 5.466

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 133 108 88 89 287 123 134

N.S.

1 1.00 1.15 0.93 0.76 0.77 2.47 1.06 1.16

time (sec)

N/A 0.076 0.208 0.424 0.295 0.361 0.440 4.977 5.307

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 85 86 64 70 180 76 71

N.S.

1 1.00 0.99 1.00 0.74 0.81 2.09 0.88 0.83

time (sec)

N/A 0.064 0.252 0.289 0.284 0.360 0.190 3.812 5.380

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 55 46 46 45 0 63 53

N.S.

1 1.00 1.12 0.94 0.94 0.92 0.00 1.29 1.08

time (sec)

N/A 0.033 0.063 0.207 0.507 0.331 0.000 5.140 5.207

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 105 62 51 52 0 102 71

N.S.

1 1.00 1.40 0.83 0.68 0.69 0.00 1.36 0.95

time (sec)

N/A 0.065 0.343 0.343 0.279 0.324 0.000 4.613 5.258

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 84 92 76 77 0 181 103

N.S.

1 1.00 0.82 0.89 0.74 0.75 0.00 1.76 1.00

time (sec)

N/A 0.071 0.456 0.406 0.276 0.352 0.000 5.833 5.364

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 110 120 97 99 0 260 135

N.S.

1 1.00 0.85 0.93 0.75 0.77 0.00 2.02 1.05

time (sec)

N/A 0.078 0.837 0.385 0.281 0.331 0.000 4.875 5.547

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 120 135 144 117 202 185 141

N.S.

1 1.00 0.83 0.94 1.00 0.81 1.40 1.28 0.98

time (sec)

N/A 0.091 0.535 0.661 0.272 0.345 0.898 3.659 0.092

[next] [prev] [prev-tail] [front] [up]